home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / tdbglossary.mail / 000016_ahn@cbnmva.att.com _Thu Sep 16 07:35:21 1993.msg < prev    next >
Internet Message Format  |  1996-01-31  |  3KB
  1. Received: from univers.CS.Arizona.EDU by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2.     id AA19709; Thu, 16 Sep 1993 07:35:22 MST
  3. Date: Thu, 16 Sep 1993 07:35:21 MST
  4. From: ahn@cbnmva.att.com
  5. Message-Id: <199309161435.AA13705@univers.cs.arizona.edu>
  6. Received: from att.UUCP by univers.cs.arizona.edu; Thu, 16 Sep 1993 07:35:21 MST
  7. To: gadia@cs.iastate.edu
  8. Cc: tdbglossary@cs.arizona.edu
  9. Subject: Re: Ahn/Temporal element
  10.  
  11.     From: Shashi K. Gadia <gadia@cs.iastate.edu>
  12.     Subject: Re: Ahn/Temporal element
  13.     To: ahn@cbnmva.att.com
  14.     Date: Wed, 15 Sep 93 14:36:27 CDT
  15.     Cc: tdbglossary@cs.arizona.edu
  16.     
  17. Gadia,
  18. This discussion is more interesting and complex than I initially thought.
  19. I still have some questions.
  20.  
  21.     > If a union is a set operator, doesn't a union of intervals
  22.     > result in a set (of intervals) ?
  23.     No.
  24.     
  25. Is the union not a set operator then ?
  26.  
  27.     This distinction is similar to: "a relation is not a sequence 
  28.     of tuples rather a set of tuples.  This distinction is 
  29.     extremely important.
  30.  
  31. You may call a sequence a set, though the reverse is not true.
  32. If the union is a set operator, then the result of a union may be
  33. called a set, though the reverse is not true.
  34.     
  35.     > Term "interval" is used in a general sense too.
  36.     > For example, Section 3.15 mentions bitemporal intervals.
  37.     >     
  38.     What when it becomes a union of triangles?
  39.     
  40. Well, you may consider a triangle as a degenerate case of a rectangle.
  41. (It may actually be a rectangle with two vertices 0.01 anstrom apart :)
  42. Again, the reverse is not true.
  43.     
  44.     ...  To me temporal 
  45.     element (the concept) is the most primitive notion in 
  46.     temporal databases.
  47.  
  48. I agree that it is an important concept.
  49. The current proposal for TSQL2 is based on the concept.
  50. That is why we need a good name that can withstand scrutinies of
  51. people outside the temporal DB field.
  52.     
  53.     A union of intervals is already a reduced object having 
  54.     a unique representation, where as a set is not.  
  55.  
  56.     Rick wrote,
  57.     >     This discussion raises two questions in my mind. If I have
  58.     > three temporal elements, each containing one interval:
  59.     >     A = [1..10]
  60.     >     B = [11..20]
  61.     >     C = [21..30]
  62.     > 
  63.     > Then D= A union C is a temporal element containing two intervals.
  64.     > 
  65.     > My question is, how many intervals are in E = D union B?
  66.  
  67. Is the answer 1 or 3 ?
  68. E = [1..10] U [21..30] U [11..30].
  69. This looks like 3.
  70. Can it be simplified (coalesced) to E = [1..30] ?
  71. Then the answer is 1, which seems to me correct.
  72.  
  73.     Example: 
  74.        E = 1..10 U 5..23 U 21..30 U 6..24
  75.     Where as the above union is unique, the intervals chosen 
  76.     to express that union is not.
  77.  
  78. You mean that E cannot be coalesced to 1..30 ?
  79. Then what is the union operator for ?
  80.  
  81. Actually, it may be clearer to represent E in this case as a set,
  82. without the union operator:
  83.        E = { 1..10, 5..23, 21..30, 6..24}
  84. which is certainly different from
  85.        E = { 1..11, 5..23, 21..30, 6..24} or E = { 1..30 }
  86.  
  87. Regards,
  88. Ilsoo